아벨의 합 공식 (역사) (설정)